Why Michael Burry Sold His Credit Default Swaps